Iterative n-Literal Rule for Solving Satisfiability Problems

Authors: Juan Frausto-Solis, Olga Leticia Prado-de-la-Paz, Rafael Rivera-López

Research in Computing Science, Vol. 2, pp. 68-77, 2003.

PDF: Iterative n-Literal Rule for Solving Satisfiability Problems
PDF: Iterative n-Literal Rule for Solving Satisfiability Problems